Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое Индуктивная логика - определение
ТЕРМИН, ЛОГИЧЕСКИЙ ПРОЦЕСС
Индукция (философия); Индуктивная логика; Метод индукции; Индуктивный метод; Логика индуктивная; Индукция (логика)
![дедукцией]].](https://commons.wikimedia.org/wiki/Special:FilePath/Induktion-Deduktion-ru.svg?width=200 "дедукцией]].")
Найдено результатов: 167
ИНДУКТИВНАЯ ЛОГИКА
логика индукции, совокупность теорий, в которых изучаются выводы из посылок, необходимых, но недостаточных для логической дедукции, а также математические критерии для степени оправдания следствий из таких посылок
Индуктивная логика
раздел логики, в котором изучаются логические процессы перехода от знания о единичном и частном к знанию об общем. См. ст. Логика и лит. при ней.
Индуктивное умозаключение
Инду́кция ( — наведение, от — влечь за собой, установить) — умозаключение от фактов к некоторой гипотезе (общему утверждению). Различают полную индукцию, когда обобщение относится к конечно-обозримой области фактов, и неполную индукцию, когда оно относится к бесконечно или конечно-необозримой области фактовСоветский энциклопедический словарь, Москва, издательство «Советская энциклопедия», 1981.
Троичная логика
ОДИН ИЗ ВИДОВ МНОГОЗНАЧНОЙ ЛОГИКИ
Трехзначная логика; Трёхзначная логика; Логика Клини
Трои́чная ло́гика (трёхзначная логика или тернарная логика) — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году. Трёхзначная логика — исторически первая многозначная логика, является простейшим расширением двузначной логики.
Бизнес-логика
ОПИСАНИЕ ПОВЕДЕНИЯ ОБЪЕКТОВ ПРЕДМЕТНОЙ ОБЛАСТИ
Логика бизнеса
Бизнес-логика — в разработке информационных систем — совокупность правил, принципов, зависимостей поведения объектов предметной области (области человеческой деятельности, которую система поддерживает). Иначе можно сказать, что бизнес-логика — это реализация правил и ограничений автоматизируемых операций.
Символическая логика
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЕЁ ОСНОВАНИЯ
Матлогика; Символическая логика; Теоретическая логика; Логика символическая; Выводимая формула
то же, что математическая Логика, т. с. "логика по предмету, математика по методу" (П. С. Порецкий), или "логика, изучаемая посредством построения формализованных языков" (Л. Чёрч). Термин "С. л." акцентирует внимание на том обстоятельстве, что основными элементами формализованных языков (См. Формализованный язык), служащих "математическим методом" изучения предмета логики, являются в данном случае не слова обычных разговорных языков (хотя бы и употребляемые в каких-либо специальных значениях), а некоторые символы, выбираемые (или конструируемые из выбранных ранее символов) и интерпретируемые (истолковываемые) определённым образом, специфическим именно для данной логической ситуации и, вообще говоря, не связанным ни с каким "традиционным" употреблением, пониманием и функциями таких же символов в других контекстах.
СИМВОЛИЧЕСКАЯ ЛОГИКА
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЕЁ ОСНОВАНИЯ
Матлогика; Символическая логика; Теоретическая логика; Логика символическая; Выводимая формула
то же, что математическая логика.
МАТЕМАТИЧЕСКАЯ ЛОГИКА
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЕЁ ОСНОВАНИЯ
Матлогика; Символическая логика; Теоретическая логика; Логика символическая; Выводимая формула
дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.
Математическая логика
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЕЁ ОСНОВАНИЯ
Матлогика; Символическая логика; Теоретическая логика; Логика символическая; Выводимая формула
логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Потребность в такой логике выявилась в начале 20 века в связи с интенсивной разработкой оснований математики (См. Математика), возникновением множеств теории (См. Множеств теория), где были открыты антиномии (см. Парадокс), уточнением понятия алгоритма и другими глубокими и принципиальными вопросами математической науки. Однако значение М. л. для науки в целом не исчерпывается её математическими приложениями, поскольку хорошо рассуждать и доказывать приходится во всех науках. Вот почему М. л. с полным правом может быть охарактеризована как логика на современном этапе. См. статья Логика (раздел Предмет и метод современной логики) и литературу при этой статье.
А. А. Марков.
Математическая логика
РАЗДЕЛ МАТЕМАТИКИ, ИЗУЧАЮЩИЙ ЕЁ ОСНОВАНИЯ
Матлогика; Символическая логика; Теоретическая логика; Логика символическая; Выводимая формула
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Википедия
Индуктивное умозаключение
Инду́кция (лат. inductio — наведение, от лат. inducere — влечь за собой, установить) — умозаключение от фактов к некоторой гипотезе (общему утверждению). Различают полную индукцию, когда обобщение относится к конечно-обозримой области фактов, и неполную индукцию, когда оно относится к бесконечно или конечно-необозримой области фактов.
Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.
Объективным основанием индуктивного умозаключения является всеобщая связь явлений в природе.
Итак, полная индукция — метод доказательства, при котором утверждение доказывается для конечного числа частных случаев, исчерпывающих все возможности, неполная индукция — наблюдения за отдельными частными случаями наводят на гипотезу, которая, конечно, нуждается в доказательстве.
Также для доказательств используются метод математической индукции и трансфинитная индукция, которые позволяют осуществить полную индукцию для бесконечных счётного и несчётного множеств объектов соответственно.
